Como Referenciar este Documento no Padrão INPE (Formato BibINPE)
SANTOS, L. B. R. A methodology to apply formal verification to UML-based software. 2015. 196 p. IBI: <8JMKD3MGP3W34P/3K7T2BB>. (sid.inpe.br/mtc-m21b/2015/09.08.18.24-TDI). Tese (Doutorado em Computação Aplicada) - Instituto Nacional de Pesquisas Espaciais (INPE), São José dos Campos, 2015. Disponível em: <http://urlib.net/ibi/8JMKD3MGP3W34P/3K7T2BB>.
Como Fazer a Citação no Texto (por autor/ano)
... como proposto por Santos (2015).
... pode ser encontrada na literatura (SANTOS, 2015).